Justifying the use of software of uncertain pedigree (SOUP) in safety related applications
نویسندگان
چکیده
This short paper is intended to serve as an introduction to a publicly available research study undertaken by Adelard for the UK Health and Safety Executive [1]. The main focus for this project was “software of uncertain pedigree” (SOUP) used in safetyrelated applications. It outlines an overall safety justification approach and ways in which the use of SOUP can be incorporated within that approach. The full report is available from the HSE web site.
منابع مشابه
A Methodology for Safety Case Development
• J Penny, A. Eaton, P. Bishop and R. Bloomfield, “The Practicalities of Goal-Based Safety Regulation”, paper in Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK, 6-8 February 2001, Felix Redmill and Tom Anderson (eds.), Springer, 2001, ISBN: 1-85233-411-8, pages 35-48 • P.G. Bishop, R.E Bloomfield, P.D.F. Froome “Justifying the use of softwa...
متن کاملMethods for assessing the safety integrity of safety - related software of uncertain pedigree ( SOUP ) Prepared by Adelard for the Health and Safety Executive CONTRACT RESEARCH REPORT 337 / 2001
This report was produced for the HSE project on 'Assessment of Software Components for use in IEC 61508-Compliant Safety-Related Applications'. The main focus for this project is 'software of uncertain pedigree' (SOUP) used in safety-related applications. This document reviews current assessment methods for SOUP and summarises the evidence required for their use according to IEC 61508 and other...
متن کاملAssessment of Safety Critical Systems with Cots Software and Software of Uncertain Pedigree (soup)
Missionand safety critical system designers are more and more forced to use a Commercial-Off-The-Shelf (COTS) approach due to more focus on cost and development times, even if COTS components normally are not specifically designed and developed for robust operation. Many safety critical systems have to be assessed or certified by independent organisations. This paper addresses the challenges as...
متن کاملMINESTRONE: Testing the SOUP
Software development using type-unsafe languages (e.g., C and C++) is a challenging task for several reasons, security being one of the most important. Ensuring that a piece of code is bug or vulnerability free is one of the most critical aspects of software engineering. While most software development life cycle processes address security early on in the requirement analysis phase and refine i...
متن کاملAlphabet Soup: Design and development of a short form game
In this paper, we describe the design and development of a short form game, Alphabet Soup. Alphabet Soup is designed to use Bayesian networks in conjunction with data from UNESCO, UNICEF, and WHO to create realistic results within gameplay about social issues around the world. This paper illustrates our attempts to implement an artificial intelligence system in short form game design. Using Bay...
متن کامل